11![Ordered Sets in the Calculus of Data Structures Ordered Sets in the Calculus of Data Structures](https://www.pdfsearch.io/img/ccdb7a6a1591d9890d421e2cd7dc2791.jpg) | Add to Reading ListSource URL: www.mpi-sws.orgLanguage: English - Date: 2010-06-07 15:38:49
|
---|
12![Building a Calculus of Data Structures Viktor Kuncak1⋆ , Ruzica Piskac1 , Philippe Suter1 , and Thomas Wies2 1 EPFL School of Computer and Communication Sciences, Lausanne, Switzerland Building a Calculus of Data Structures Viktor Kuncak1⋆ , Ruzica Piskac1 , Philippe Suter1 , and Thomas Wies2 1 EPFL School of Computer and Communication Sciences, Lausanne, Switzerland](https://www.pdfsearch.io/img/07e54b8159a20d44f62a4c95cfc67f17.jpg) | Add to Reading ListSource URL: www.mpi-sws.orgLanguage: English - Date: 2009-12-15 08:18:45
|
---|
13![RDP 2015, Jun. 30, 2015, WCMCS, Warsaw. From syntax to semantics of Dependent Type Theories - Formalized by Vladimir Voevodsky RDP 2015, Jun. 30, 2015, WCMCS, Warsaw. From syntax to semantics of Dependent Type Theories - Formalized by Vladimir Voevodsky](https://www.pdfsearch.io/img/b0d50d96570cb7afe755bb5bf28b33b1.jpg) | Add to Reading ListSource URL: hott-uf.gforge.inria.frLanguage: English - Date: 2015-07-04 05:55:41
|
---|
14![A theory of regularity structures June 8, 2015 M. Hairer Mathematics Department, University of Warwick Email: A theory of regularity structures June 8, 2015 M. Hairer Mathematics Department, University of Warwick Email:](https://www.pdfsearch.io/img/fb292dd13e0fe404fa53aa79775b4b40.jpg) | Add to Reading ListSource URL: www.hairer.orgLanguage: English - Date: 2015-06-08 09:33:10
|
---|
15![Discussion Paper NoA CHARACTERIZATION OF THE UNIFORM RULE WITH SEVERAL COMMODITIES AND AGENTS Discussion Paper NoA CHARACTERIZATION OF THE UNIFORM RULE WITH SEVERAL COMMODITIES AND AGENTS](https://www.pdfsearch.io/img/785935a3cbc081c87b6b0851bfa59bfb.jpg) | Add to Reading ListSource URL: www.iser.osaka-u.ac.jpLanguage: English - Date: 2010-02-03 23:13:12
|
---|
16![Master Thesis on Properties of a Logical System in the Calculus of Structures by Master Thesis on Properties of a Logical System in the Calculus of Structures by](https://www.pdfsearch.io/img/40a3f1f679ed0978fd6581b827a46f9d.jpg) | Add to Reading ListSource URL: users.cecs.anu.edu.auLanguage: English - Date: 2006-01-18 20:52:47
|
---|
17![BRICS RSAceto & Ing´olfsd´ottir: The Saga of the Axiomatization of Parallel Composition BRICS Basic Research in Computer Science BRICS RSAceto & Ing´olfsd´ottir: The Saga of the Axiomatization of Parallel Composition BRICS Basic Research in Computer Science](https://www.pdfsearch.io/img/aaa05d1922edd18bb745c4a0ef405c57.jpg) | Add to Reading ListSource URL: www.brics.dkLanguage: English - Date: 2007-07-04 18:40:22
|
---|
18![Curriculum Vitae Paola Bruscoli Research Fellow (EPSRC) at University of Bath http://www.cs.bath.ac.uk/pb/ March 30, 2013 Curriculum Vitae Paola Bruscoli Research Fellow (EPSRC) at University of Bath http://www.cs.bath.ac.uk/pb/ March 30, 2013](https://www.pdfsearch.io/img/5dd529c95c3643b75dbbd89f5e670b3a.jpg) | Add to Reading ListSource URL: www.cs.bath.ac.ukLanguage: English - Date: 2013-03-30 11:16:35
|
---|
19![Science of Computer Programming ELSEVIER Science of Computer Programming ELSEVIER](https://www.pdfsearch.io/img/f47d4618e3215ecf69d50c4282d52ab8.jpg) | Add to Reading ListSource URL: pubs.doc.ic.ac.ukLanguage: English - Date: 2008-03-25 21:14:46
|
---|
20![Building a Calculus of Data Structures Viktor Kuncak1⋆ , Ruzica Piskac1 , Philippe Suter1 , and Thomas Wies2 1 EPFL School of Computer and Communication Sciences, Lausanne, Switzerland Building a Calculus of Data Structures Viktor Kuncak1⋆ , Ruzica Piskac1 , Philippe Suter1 , and Thomas Wies2 1 EPFL School of Computer and Communication Sciences, Lausanne, Switzerland](https://www.pdfsearch.io/img/48cace161bc050dece3a807cc76268fc.jpg) | Add to Reading ListSource URL: lara.epfl.chLanguage: English - Date: 2009-11-10 09:06:44
|
---|